1

Axioms for the Theory of Lambda-Conversion

Year:
1985
Language:
english
File:
PDF, 1.11 MB
english, 1985
2

An extension of lambda-calculus for functional programming

Year:
1984
Language:
english
File:
PDF, 625 KB
english, 1984
6

Algebraic properties of derivation words

Year:
1977
Language:
english
File:
PDF, 383 KB
english, 1977
7

A note on macro generation

Year:
1985
Language:
english
File:
PDF, 204 KB
english, 1985
9

Experimenting with tail-recursion and simulating coroutines

Year:
1998
Language:
english
File:
PDF, 397 KB
english, 1998
12

An efficient syntactic analyser of certain formal languages

Year:
1968
Language:
english
File:
PDF, 796 KB
english, 1968
13

Comment on the paper “Error detection in formal languages”

Year:
1974
Language:
english
File:
PDF, 161 KB
english, 1974
17

Rendezvous numbers in normed spaces

Year:
2005
Language:
english
File:
PDF, 821 KB
english, 2005
18

Unilateral context sensitive grammars and left-to-right parsing

Year:
1971
Language:
english
File:
PDF, 682 KB
english, 1971